$\forall$$s$, $t$:DSet, $a$, $b$:(:$\mid$$s$$\mid$ $\times$ $\mid$$t$$\mid$). ($a$ =$_{b}$ $b$) $\in$ $\mathbb{B}$